Add ScopedTypeVariables.
Generalise Deformable to work between spaces.
Remove Datafloat.
Fixes for new size spec.
Some change to Intersections.

Still not ready.
Generalise Deform to work between spaces.