public static DfaValue boxUnbox(DfaValue value, @Nullable PsiType type) {
    return boxUnbox(value, DfTypes.typedObject(type, Nullability.UNKNOWN));
  }
public static DfaValue boxUnbox(DfaValue value, @Nullable PsiType type)