Parsing of multiple types working
Added casting
Basic type checking implemented
Checks function parameter types correctly
Updated todo
Merged multiple types/semantic checking branch
Reverted conditional expression output format
Merge branch 'conditional-simplification' of github.com:pvatterott/software-cert into conditional-simplification