Move poset operators and widening/narrowing in AbstractProperty