trying to fix travis test failures due to not having FactCheck
Merge branch 'master' of https://github.com/astrieanna/TypeCheck.jl