On Sat, Dec 30, 2017 at 6:55 PM 73budden . <budden73 at gmail.com> wrote: > Maybe deftype? It is quite unlikely that one would ever want to define > a type with the same name as the name of SWANK interface. I think that should work much better. Luís