lub is now working right for type alias declarations. Progress on #SCL-6605 Comment