Tell travis to run the type checker

This should prevent the capitalization problem my other PR fixes.