lib/poset: add POSet::add_chain