Expand protocol symbols in reify