Fix instance types

[Nfsaavedra]

Previously, the code considered that the type of an instance was by definition the id of a class, but something like TypeClass.EqDecNew unit -> TypeClass.EqDecNew unit is allowed.