AST-82 AST-42 implement lub/glb for variants

[ggreif]

It is easy to lub variants, so just do it.

Since inference always infers singleton summands, we obtain well sorted variant types if we merge looking at the labels.

I observed that glb is currently unused.