Fixes env to closure issue.
Environments were not updating their names on updates. Also removed church notation and introduced hang-times in the rts.