Remove RefinementAny from type checking rules