Added Coverage/Coveralls integration to TypeCheck