Aesthetics.
Give example of computing factorial -- it's primitive recursive!
Update copyright date, license, README, and describe test cases.