Remove unused kw field in lam-result.
Move logic of numbering rest/drest arg to abstract results.
Make tc-lambda-unit have one centralized definition of how to extend the environment.