Add type encoding to travis.yml