re-fix the last condition of an inductive cover
n-types are closed under W-types, close #260