Did some work on Modules (untested/unfinished). Changed grammar to use : for types and := for values. Refactored in favour of ConstantExpressions.