These should all be incomplete errors.

-- in.cue --
s: string

e1: s + s
e2: >"bar" & s // okay
e3: >s & "foo" // okay
e3b: >s

e4: >e1 & s
e5: <e5 & s

E: {
  a: c-b
  b: c-a
  c: a+b & >=5
}

// Issue #129
permanentlyIncompleteOperands: {
    a: string + ":" + string
    a: "golang/go:1.13.5"
}

issue680: (>10 * 2) & 0


-- out/eval --
Errors:
permanentlyIncompleteOperands.a: invalid operand string ('+' requires concrete value):
    ./in.cue:19:8

Result:
(_|_){
  // [eval]
  s: (string){ string }
  e1: (_|_){
    // [incomplete] e1: non-concrete value string in operand to +:
    //     ./in.cue:3:5
  }
  e2: (string){ >"bar" }
  e3: (string){ "foo" }
  e3b: (string){ string }
  e4: (_|_){
    // [incomplete] e1: non-concrete value string in operand to +:
    //     ./in.cue:3:5
  }
  e5: (_|_){
    // [cycle] cycle error:
    //     ./in.cue:9:6
  }
  E: (struct){
    a: (_|_){
      // [cycle] cycle error:
      //     ./in.cue:12:6
    }
    b: (_|_){
      // [cycle] cycle error:
      //     ./in.cue:12:6
      // cycle error:
      //     ./in.cue:13:6
    }
    c: (_|_){
      // [cycle] cycle error:
      //     ./in.cue:12:6
      // cycle error:
      //     ./in.cue:13:6
    }
  }
  permanentlyIncompleteOperands: (_|_){
    // [eval]
    a: (_|_){
      // [eval] permanentlyIncompleteOperands.a: invalid operand string ('+' requires concrete value):
      //     ./in.cue:19:8
    }
  }
  issue680: (_|_){
    // [incomplete] issue680: non-concrete value >10 in operand to *:
    //     ./in.cue:23:12
  }
}
-- out/compile --
--- in.cue
{
  s: string
  e1: (〈0;s〉 + 〈0;s〉)
  e2: (>"bar" & 〈0;s〉)
  e3: (>〈0;s〉 & "foo")
  e3b: >〈0;s〉
  e4: (>〈0;e1〉 & 〈0;s〉)
  e5: (<〈0;e5〉 & 〈0;s〉)
  E: {
    a: (〈0;c〉 - 〈0;b〉)
    b: (〈0;c〉 - 〈0;a〉)
    c: ((〈0;a〉 + 〈0;b〉) & >=5)
  }
  permanentlyIncompleteOperands: {
    a: ((string + ":") + string)
    a: "golang/go:1.13.5"
  }
  issue680: ((>10 * 2) & 0)
}