A variant of msg which is easier to reason about.
msg$ is a macro which will rewrite to a call of msg$-logic. msg$-logic is kept disabled and is known to produce a msgp. For execution, msg$ expands to something which is inlined for efficiency.
