Implemented TPD comparator for meet monoids and meet monoids in general