Un-bit-rot the examples
Clean up the factorial examples