Tweaks and shortcuts for the Nimrod programming language