Allow empty tuples.
Add support for wildcard types.

Currently these respresent only the type of the empty
list, and there is no parsing support for explicit
wildcards.