Cleanup function type creation in tc/rec-lambda/check;
Fix name escape in tc/rec-lambda/check.
Delete case in tc-expr which is not needed.
Make update do actual structural recursion over the path.
Cleanup env+.
Cleanup combine-props.