Type checking and symbol/scope table implemented