use deftype mechanism when analyzing reify, get rid of tag sets