I mean it seems obvious but most/all? modern type systems are not portable and don't compose with other type systems Splitting out the mistake checking and the

I mean it seems obvious but most/all? modern type systems are not portable and don't compose with other type systems Splitting out the mistake checking and the data specification aspects of types would probably make pieces more portable across different languages