[eval2] Fix the EVAL-CLOSURE type specification.