Added NonTerminalType.glbWith<Type>(Type),
ReifiedType.glbWith<Type>(Type).