Pure logic ADT with verlaag!/verhoog! mutators, tijd-op? predicate, and formatteer-tijd method. No graphics code. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>