Implement type checker

[asajeffrey]

Do we also need to do any type inference? (This would mean mutating the AST.) I think this depends on whether we look up named variables in the symbol table at parse time or at typecheck time.