mono -> ismono; epi -> isepi

The massive changes in quotient.v are all whitespace/line-ending
normalization.