Pushed to guix staging as commit 400a4d65acde14182fd9741d8a46ed5a6e8fd1d7 after extensive testing on bayfront. Commit 84800833eac3fd92e685d7977f3b4b06fc32aa44 cleans up mrustc a bit.