Java Record Implement Interface Typescript Compiler