Fix an assertion with constant linear step

- This introduces a constant evaluation context for
  building linear step expressions.