Phew!

Passing type information through symbol table to 'code generation' code.