fix type spec
Use make in travis so that we can run dialyzer