Initial commit of Semigroup & Functor heirarchies for Typeclassopedia