Updated the clean for latex meta files
Unified and augmented type system

In addition to unifying the type system recursive types like tuples, pointer, references and functions were addded.
Additionally a bug was fixed in the cfg generating phase that didn't advance states correctly.