Create basic semantic analysis
Corrected a shift/reduce conflict in the parser; added more type structure.
Cleaned up Semantics.Module and correced a minor bug.