The “Requirement Machine”, a new generics implementation based on term rewriting | Heykuki News