When compiling messages to the pseudo-object `user`, the compiler now checks that the message is either a variable or a callable term