Tweak messages
Refactor Have and Receive by extracting common codes to a mixin
Refactor ExpectRecord and AllowRecord in ShouldReceive