grammar: removed FunDecForward; typeChecker: FunDec