I believe we can specialize `constexpr TypeId` for analyzed types and construct map with `FieldInfo` in compile time.