Typeenv and rename