What if instead of trying to type existing JS code, like TypeScript, we made objects of a new typed language completely separate from JS obj...