Added support for if statements
Merge pull request #71 from alex/if-statement

Added support for if statements
Added support for elses on if statements
Merge pull request #72 from alex/else-statement

Added support for elses on if statements
Merge branch 'master' into lower-untyped-cfg
Implemented serializer for CFGs as well as lowering for conditional branches. Tests are all very suspiciously passing
Removed some unimplemented code