Consistency & completeness

[kmactavish]

• Transformation * TransformationWithCovariance should have the same return type as TransformationWithCovariance * Transformation.
• There should be a RotationWithCovariance.
• Think about how we're going to handle points with uncertainty.