renaming
Update primitive recursion example to use the current version of the library.