[kenko]

> Otherwise, how would the interpreter (or whatever execution environment is relevant) deduce what binary data was what?

Via runtime tags, which are not the same as types.