#718 part 1 (also isResolved and more robust InterpolatedStringLiteral expr resolution logic)