improve n[] notation for nonexpansive maps: the proof of Proper is no longer required, it can be derived from nonexpansiveness