Added print method for messages.
Arbitraries now set type of messages to I-INFER.
Tweak message display.