Add the types the emulator will use internaly.
Fix travis configuration.