Use core.prim.Pure instead of nvm.Pure