Logic_info with structural comparison:
- name of the symbol
- type of arguments
Note that polymorphism is ignored, in the sense that two symbols with
the same name and profile except for the name of their type variables
will compare unequal.
Since 20.0-Calcium