How could something like you describe be language independent? Any possible implementation I can think of would have to be integrated with the language, specifi

How could something like you describe be language independent? Any possible implementation I can think of would have to be integrated with the language, specifically the type system. Edit: I should specify: within the constraints of today's language technology, it's hard for me to imagine a language-independent implementation. It's entirely possible things will be different 100 years from now, although for various reasons I'm skeptical.