Domains (kernel)

Domains are not values.

They are static rewrite rules:

(operator, carrier-type) ↦ implementation

Example:

(+, Date × MonthDelta) ↦ addMonth

This is outside the term language, like typing rules.