* Updated to Xtext 2.4
* Added typedef to possible non left recursive, non void type
* Added sanity checks to semantic highlighter
* No longer suggest conversion operand insertion outside of basic blocks
* Integers in resolved types are now BigInteger instead of int