An experimental bytecode interpreter / type-checker for type-level Typescript