First implementation complete. Closed type families are accepted.

But, they don't work at all, as expected. Need to do more tests now.