Added functor laws proof
Added function composition