I think that without loss of generality we can require (in the binary format) that the definition of continuation types come after the definition of the signature type they reference. This would make a minor simplification in canonicalization of recursive continuation types.

We do have precedent for this in that, for all heap type definitions, we require their supertype definition, if any, to appear before them.