Work on making factorial example work; it's still sort of broken.