I agree something w/ "byte code" would be that thing. Said "byte code" would deal with types and such. Now-a-days that "thing" is "javascript" and it has impl

I agree something w/ "byte code" would be that thing. Said "byte code" would deal with types and such. Now-a-days that "thing" is "javascript" and it has implementation nuances that depend on browser/runtime environment.