Simple "symbol" type, useful for enumerations or sentinels