

Syntax definition for Translator. 

Combines Adl and point-free (BMF) syntax
as well as syntax for an environment that is 
maintained to keep track of the shape of the
nested tuple that is passed around the program
as it executes.


