Add updated version of Thorsten Kiefer's factorization example.

Fixes #5
Add fish logic puzzle example