By-name types (=> T), legal only in parameter declarations.
Type names.
Quoted type-trees.
Type symbols.
Vararg types (T*), legal only in parameter declarations.