Wrote type-eval-procedure.