Fixed parser import and added default-language to .cabal file.
Created a few initial files for future additions.
Added an IR definition.
Added some new constructs and comments with relevant IR invariants.