implement extractor for reify*, as part of #2