modintvarprop.hh cleaned.