Implements types and functions for working with geometry in S¹.

S¹ encompases circular geometry.