bugfix in type inference (generation of fresh vars/scopes: use negative ints)
bugfix in type inference (generation of fresh vars/scopes: use negative ints)

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