update README: deftype/reify is implemented