Analyzing and compiling arbitrarily nested patterns
Syntax for tuple literals and type signatures