Add support for empty tuples

This is preparation for type-level list support.