updated Isabelle examples
cleaning up sample problems
cleaned up sample problems, and bugfix in builtins_module