Clean up and organize the unfold commands.
Make unsafe-replace slightly more safe by at least ensuring the result is well typed.
Remove aeson and text dependencies, and JSON pp, which will be in new hermit-web package.