Research unifying TypeRecursion and dataDec function w/ class constructor

[mlhaufe]

Currently data returns a function when parameterized:

const ListData = data((List, T) => ({
        Nil: {},
        Cons: { head: T, tail: List(T) }
    }));

List is also a TypeRecursion object and not the class constructor.

Given #64, it's worth looking into a way to return the class itself.

Additionally, the conversion to typescript (#28) should be easier if TypeRecursion can be replaced with the class itself (which implies the need for memoFix in the implementation)