language changes: unique env borrow is now enforced.