Simplify TypeCheck(Function) and TypeCheck(Lambda) by improving local-parameter-scope construction helper method.
Simplify TypeCheck(Function) and TypeCheck(Lambda) by improving local-parameter-scope construction helper method.

plioi/rook