typability