Special type for labels instead of null
All integer literals have a type definition