We currently have a core prelude that's injected into every file. We should define a std prelude that exports the core prelude and common evm things, and inject that instead.