Created a kind of bounded array type for messages. This beautifies some package specifications.