public class IntBinary extends Binary {
  public Object sem (String op) throws SemanticException {
    super.sem();
    if (aT == Integer.class && bT == Integer.class) return T = Integer.class;
    throw new SemanticException("binary "+ op +" expects int");
  }
}