aktuell: `(RefType (ClassRefType (ClassType ((Ident _ "var", []) :| []))))`
aktuell:
(RefType (ClassRefType (ClassType ((Ident _ "var", []) :| []))))