WIP: Added Dimensionality concept into the type system.

Implementing crosses and within based on the dimensionality of the geometries they apply to.