polist, a partially ordered list