Expressing Japanese Grammar Through TypeScript Type System