Type constants

Under the "Simply typed" extension, allow introducing new type constants. Concrete syntax is up to debate, first sketch:
```haskell
type A = const
```
(Type constants have to be uppercase, this way RHS for type constants wouldn't collide with RHS for type synonyms)