Remove unneeded typetag
Add Travis CI builds.