Replace meta:: with ipr:: finish elimination of $ symbol