optimization: after unifying MonotypeApps, union their types.