Primitive recursive construction

[emc2]

Create a construction representing primitive recursion (ie. bounded recursion).