love when things like this are ready and waiting on the shelf for when we need them
I doubt such designs will find practical uses (iceberg maybe but the pure math designs seem unlikely).
Or it could be like code=data and homoiconity and other CS fundamentals that were figured out 40+ years ago, but are still mostly ignored by software industry/culture.