public int exprHashCode() { return 15 + size.exprHashCode(); }
public int exprHashCode() { return 9 + expr.exprHashCode() ^ type.simple().hashCode(); }
public int exprHashCode() { return 14 + expr.exprHashCode(); }