[Types Refactor] Organize Domain-Specific Types by Feature in `core/types` #3795