Adding more difficult pattern miss example
More introductory sldes, simplifications, functors started