Free TypeClass and more stuff

Merge pull request #70 from FineCinnamon/rr-free

Free + stack safe monads

More Data Types

Added OptionT
Use typealias for all HKTs

Minor fixes

Id type it's now a data class
remove incremental compilation from repo to fix CI builds, configure it now in your local.properties

Release v0.2.5

Continue adding more dataclasses

Added Cartesian Builder
Added FuntionK
Added Coproduct
Added Kleisli
Added Inject
Added Comonad

Initial Types with Monad Support

Initial release with some types, and do notation based on corutines