Basic support for Nimrod lanuage