Using contains on points does not require implicit.

Any point can be converted to another point in global_space, whereupon some
trivial equalities can be constructed to check if another point (or subspace
that doesn't use its parameters) is inside it.
Starting work on BoundSpace; created Loop to help.

A BoundSpace will simply be a Subspace and a Loop.  All the important
algorithms specific to the loop half of that will be in Loop.