Add 2nd Functor law article to TOC