Fix lifting of recursive let with local type variables