Add types used by the emulator.