adding nat constants to the language