"TypeScript is a superset of JavaScript."

"DeviceScript is a subset of TypeScript."

We need to go deeper.