private void checkTypes_(Env env, Resolver resolver) throws CError {
coerce = new Coerce(token).lhsT(children[0].getType()).rhsT(children[1].getType());
coerce.checkTypes(env, resolver);
type = coerce.getType();
modnum = new ModNum(token).type(type);
modnum.checkTypes(env, resolver);
}
