Mutually recursive type declarations

[cyrus-]

Per the tech report in preparation.

When this is available, rewrite the prelude_ctx as just a prelude and have prelude_ctx generated automatically.