pretty_type in messagex