Add more domains

[OAGr]

• x Is new feature

Description of suggestion or shortcoming:

Add more domains, to help with Specifications

• Function.domain({inputs: [...Domains], output: Domain})
• PointSet.domain
• Dist.domain -> More specific than numbers.