Add type specs
Add Travis CI support