Check in partial implementation of type checking tools.