The “constraint” type in Literal

Exploring Literal’s most flexible type.