macroexpand reify and deftype properly