Added print/read asm functions
Type module changed into TypeTable and corresponding Type classes
Change variable processing to use new type checking
Redone type checking