> You can't magically shoehorn types back into an untyped system when all the existing components assume untyped streams. If this were true, then a typed syste

> You can't magically shoehorn types back into an untyped system when all the existing components assume untyped streams. If this were true, then a typed system couldn't exist on top of machine code and random access memory, because the existing components (i.e. CPU + random access memory) have no knowledge of the types you are speaking of. I think the assumption is false. Types can be shoehorned onto untyped data.