In 4_subsec:incompatibility_important_operators, we have studied the problems directly related to some important operators, which can be categorized into two parts:
In 4_subsec:incompatibility_missing_operators, we have discussed the availability of some operators. In this section, we discuss other problems that are domain-related, signature-related or implementation-related.