Need a Conformal class to represent rigid+scaling transforms

[girving]

[girving]

Actually it should be called Similarity (name courtesy of Robert Bridson).

[girving]

The correct implementation is translation + nonnormalized quaternion acting by conjugation. This rules out reflections, which seems reasonable.