Classes and functions to simulate Unlimited Register Machines as defined in "Computability" by N.J. Cutland.