Keep track of unterminated literal expressions.

Also gives the scanner the ability to confirm whether the last token is unterminated, which is useful for the classifier.
It's an optional property; towards the bottom, we have an assertion that `callIsIncomplete` is actually set.