Bugfix: wrong selection of environment in Browse
Update TODO
Much more tolerant type-error recovery.