Refined lub type a bit more.  Added relevant test cases.

Polyglot compiles itself once more.