Add initial TypeEnum[TC[_]] implementation