types.tsfigleaf/gator/shared/types.ts