Text this: Solvability = Typability + Inhabitation