Then if I wanna know the name of a type I probably wanna write something like this:Code: Select all(get :type X) ---> types:my-type But, if type is a field defined by the user??Code: Select all(define types:my-type (type nil :type :x :y))(define x (struct types:my-type :type XY :x 0 :y 0)) (get :type x) --- ????I wanna still have the possibility to get the type of x which is TYPES:MY-TYPE. Sam