I wonder, does this mean we actually want types as metadata on our shell commands? Type of args, type of stdin, type of stdout, or whatever we decide to call them?

All apps would have to speak a single, more complicated language and we would have to do more explicit translation but it might work out better.