New message types for cleaner implementations of existing ones.

This is **not** ready to be merged.