Add subtyping for Parameters.

Closes PR11992.
This required moving more stuff in to base-abbrev so that it could be
used in subtype.