Added base for Functional Programming

Based on Haskell was added typeclasses Functor, Applicative and Monad
and containers set of classes Maybe (Just and Nothing) and Seq (Cons, Nil)