SpatialMathT
class Rotation p a
data Rot f1 f2 r
data V3T f a
class R1 t
class R2 t
class R3 t
type M33T f1 f2 a
cross
orthonormalize