properly walk reify and deftype
mark 0.1.2