Store meta-coordination-related information separately from coordination space to unblock type checking improvements

[keller-mark]

Unclear if this will prevent potentially recursive meta-coordination