missing semicolon
a bunch of types and declarations, adopt the prefix that unboxed types are declared as Intrinsic for now
add type for the cons operator
give a better name to type declarations in the IR
fix bug with validity checking of type definitions
misc style improvements, improve error reporting line/char info
Merge pull request #18 from oftn/master

merge OFTN version