Typecheck (lambda args body) as (arg1 -> result).