Still fumbling substitution theorems
Split module LambdaSyntax into more manageable parts
Fixed bugs introduced by splitting LambdaSyntax
Conversion to standard representation and notations
Conversion to and from DBV form