Clarified Nimrod implementation names