The package is meant to:
(i) define a Domain type that can be used as supertype of continuous sets
(ii) define an interface for domains (to make it easy for other types to behave as domains and interact with each other while being developed independently)
Any suggestions welcome!