Handel TypeLiterals, ParenTypes, UnionTypes, and ArrayTypes