Improve notifications

Use different wording depending on whether this is part of a discussion,
a new submission, or an exercise has been marked as completed.

There is still room for improvement:

Notifications to the submitter about discussion should look different
from notifications to other participants.