Work on initial signature for type families
Start case splitting on type families (NOT working)