Split "include" element?

At the moment the "include" element is used in two different contexts
with slightly different meanings:

- at the pattern level; the semantics here are straight inclusion
- at the grammar level; the semantics here are to merge grammars

Should we instead have two separate elements?  One way to do this would
be to rename the grammar-level include to something else ("merge"?).

James