Note: lots of the common type are put in `src/util/types.ts`.