Add Unit values.
Describe Unit values.
Equality of Unit values.
Typechecking of Unit values.