working through ivory-examples.

everything runs up to Factorial