ConcatenateRules

Provides default rules defining the result of concatenating two types.