enriched itnerface for Clause and Literal;
slight change in ArithLit.Arr.view_focused (list of focused lits + operator now)