Building Type-Safe System Registries

Store diverse system controllers in a registry while enforcing specific capabilities.