Require a `code` flag for memories?

[titzer]

The initial design issue proposed an additional flag on memories to mark them as suitable for (temporarily) holding code for func.new. There wasn't a lot of support for the idea, so to simplify the proposal, I removed the flag from the explainer.

Do we want to add this code flag back?

Feel free to use this issue to discuss.