Type checking of families seems ok.
Todo next: composition of families.