Delete minus1Trunc.v, close #434

Are we ready to drop the h yet? hexists, hor look silly. There will be naming conflicts, but this should be a good sanity check. I haven't tried actually this yet.