Add modified definitions and associated helper functions

A first try for a 'less-strict' function `quotRemNat` is added, unfortunately, the second argument can still not guessed when using a free variable.
Add several examples for put-based lenses
Add .pdf to .gitignore
Add notes on search for examples
Delete monadic.hs file on repository, test only localy