In new compilation logic:
- Added support for index assignment.
- Corrected issues when vising message exchanges, where mustBeExpression
wasn't maintained properly.

Signed-off-by: Jakob Brandsborg Ehmsen <jakobehmsen.github@gmail.com>