Lean-to implementation of intersection on monotypes

Next target: Switch monotypes over to use subtype lattices, too!