added support for classes without fixed signatures
fixed some more bugs
support diamond constructors
fixed a bug in the override equivalence
added missing file
moved the file utils to rejuse