better error message when declaring a symbol with incompatible types
better error message when declaring a symbol with incompatible types

c-cube/logtk,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/logtk,c-cube/zipperposition