emgm: Rename equals() to geq(), avoids unwanted name overloading
incorporate EMGM sec 1.5, mention sec 1.6.1

[Rebased on top of recent changes]