Merge pull request #2 from WHET-PLT/parser

Parser
modified minor Makefile
merged with origin master.
adds comments for stuff I have to do.
updates comments at semcheck
serial/parallel info.
small modifications to semcheck.
Made notes, etc. exprs. Also  - notes only have 3 elements for constructrs.
confused semcheck add.
fucking geo.