changed the type of Context#subsorts to be Poset<Sort2>; modified API's accordingly