Update Posets.m2

Lots of small changes.