embedded domain-specific language and dynamic type-system for polymorphism-aware entity component systems