Primitive Recursive Arithmetic Function Definition Algebra