Tests for type-specified message forms