Theme-D - Extending Scheme with Static TypingTheme-D uses objects as values, with their runtime types defined by classes, fostering a structured data manipulation system.