After user enables the "Simply typed" extension (#9, #14), allow them to introduce type aliases: ```haskell type Nat = (A -> A) -> A -> A ``` Which can be further used in type signatures.
