Inductive shapeT : Set :=
  | SArray1D : shapeArray1DT -> shapeT
  | SArray2D : shapeArray2DT -> shapeT
  | SArray3D : shapeArray3DT -> shapeT
  | SMesh    : shapeMeshT -> shapeT.
