Clean up AGREE type checker to prevent cascading failures