add Combinatorial Species section

[lemastero]

Currently scala_typeclassopedia focus on following math branches:

• Category Theory
• Abstract Algebra

In #109 I work on adding Combinatory Logic.

It might be good thing to add Combinatorial Species as source of abstractions that can be expressed in Scala and provide some useful vocabulary/abstractions.

PhD thesis of Brent A. Yorgey is very decent work on this: Combinatorial Species and Labelled Structures
shorter (older) paper: Species and Functors and Types, Oh My!

Implementation in Haskell: http://hackage.haskell.org/package/species