Simplify type syntax
Fix named recursion
Number
String
Record
Merge pull request #2 from phadej/single-type

Single type