Correct `until`, note on `function`, grammar fixes

Added notes about the possible future distinction between `function` and `func`.

Fixed 2 misleading statements about whether or not the condition is met in `until`.

Minor grammar cleanups.

Added above to Document History.