Assert with macro-in-macro 'protection' and better
 exception messages.

- Expression along with the value and comparison
  is now part of the message.

- Reificationationuozize'd