Compiler now uses type-specific handlers for processing unary and binary operators.  Late resolution of references.