Add a simple-Union and Bottom, and have code use them.

Requires splitting out the match expanders from base-abbrev.