Text this: On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions.