preliminary support for full data type definition syntax, misc improvements on error reporting (hopefully)
fix typo and add test case for data type defs
pretty print debugging for data type defs, fixed another mistake
Merge pull request #16 from oftn/master

merge OFTN version