Delete minus1Trunc.v, close #434

Do we want to add a special case of this for epi & mono -> iso?