Improved typename comparison such that type definitions like 'types String = 'seq of char' are not reported as typename violations. This is okay since an alias (in this case 'String') is ignored during construction of the IR AST. Instead the underlying type (in this case 'seq of char') is used.
Made the visitor that constructs declarations in the IR AST 'return null' for invariants and traces. Thus the IR AST generator produces nothing but do not report the constructs as unsupported