Changes

Simplify when-equations

Tick off roadmap item

No implicit initial x = pre(x) for when-equations

Tentative section on when-statements to support meeting discussions

Improve comments in listing

Don't simplify when-statements, and give rationale with example

Update differences.md

Fixed typo

Fix case in external source location table header

Improvements based on today's web meeting discussions

Don't over-stress tool-specific nature of source location table

Make room for top level package annotation

Needed for the SourceLocation-annotation.

Conclusion regarding which information to include in decorations

According to today's web meeting decision.

Fix typo

Extend grammar with source location decorations