Theme-D release 6.0.0-1 has been published. Most important changes to the previous release (5.1.4-1) are:
* Fixed runtime type variable allocation.
* Fixed subexpression factorization.
* Fixed generic procedure class hierarchy.
* Implemented unit types.
* Keyword-based make.
* Renewed the implementation of equality predicates.
* Changed the runtime environment to use GOOPS for Theme-D classes.
* Renewed GOOPS foreign class interface.
* Removed metaclasses :value-vector and :mutable-value-vector.
* Renamed the hash table modules in the standard library.
* Renamed match-type-strong to match-type and match-type to match-type-weak.
* Updated libthemedsupport using the Guile 3.0.10 source code.
* Added procedures d-fold1, d-fold-right1, delete-duplicates, even?, flush-all-ports, fold1, fold-right1, identity, keyword->symbol, list-set-diff, make-list, not-false?, odd?, symbol->keyword, union-of-alists, and union-of-lists into the standard library.

See https://www.iki.fi/tohoyn/theme-d/download.html for installation instructions.