Type? is a protocol. Clean up subtyping into one big cond.
All namespaces except a few AOT compile