@Override public Boolean visit(Int exp) { if (!exp.typeOf(environment).equals(new IntType())) { errorMsgs.add(String.format("Incorrect Int: %s", exp)); ; return false; } return true; }