added type-level exports

`type (++)` : neccessary for signatures and type level composability
`FoldRec` & `RecApplicative` : for contraints in signatures