IMP.algebra provides a set of geometric primitives and basic operations on them.