public Type resolve(Scope s, int tag) {
        if (lower != null) resolveExpr(lower, s, tag);
        if (step != null) resolveExpr(step, s, tag);
        if (upper != null) resolveExpr(upper, s, tag);
        return new ListType();
    }