Add second Functor law article draft