Mates: the TypeScript skeleton