(WIP) Immutable headnodes

This is probably worth looking at now; there's still some work to do, but it's roughly the shape I'm shooting for.
@zenhack and I discussed this briefly---my solution isn't really much better, because then you can have a frozen, unstarted headnode, which will never then get started.