Typed + external syntax share the same type family

Better modularity + avoids unnecessary `toFamily()` mappings
in type inference.