I'm curious: does Typescript make sense as a language for machines?