Added construction (mkXXX) functions to Syntax
For now, don't bother building TT by default
Initial impl. of spine-based pattern matching