The current codebase, through enriched with stronger types, still is mostly procedural. Let's see how we can combine data and logic to build a much richer domain model.