fix DiffLogLogic type with polymorphic operations