Add tests for loosening type check