Added FunctionType.glbWith<Type>(Type) and
OverloadedFunctionType.glbWith<Type>(Type), and made fixes to the lubs.