Literal types

Literal types restrict a value to a specific exact constant.