Jade templates for the Nimrod programming language