Typechecks with new intermediate rep.  Now onto debugging.
Merge pull request #4 from uProxy/new-intermediate-rep

New intermediate representation.