Removed all use of lenses in Nu - thereby also apparently fixing a long-standing bug(!)