Provide work-around for unbounded recursion in Amsl.

[bryanedds]

Outside of building a compilter, one way to solve the issue is to provide ref cells and a while loop to allow people to write the above functions iteratively. Probably will end up needing ref cells at some point anyways.