Have Travis regularly type check the standard library with leantc #3
Description
The C++ kernel is still more trustworthy than the reference type checker, so if the reference type checker fails to type check the standard library it is most likely an error in the reference type checker. It would be great to be alerted to these errors automatically even if the reference type checker has not been modified.