Literal Types

Written version in progress…