classinfo: changed type of super and interfaces to classref_or_classinfo