Report better errors for internal macros wrong invocations

Fixes #10 (closed)

In practice, I have been working with this on the base of a big branch for some time, and it all seems to trigger when expected and print sensible messages.