Renaming all `Promise` into `Shvua`
better spec