Switch to mutable environments
Implement recursive let. This is neccesary for recursive functtions.