Speaking of serializable closures: does anyone here know of any work being done on languages that would support nameable, completely size-transparent and versio

Speaking of serializable closures: does anyone here know of any work being done on languages that would support nameable, completely size-transparent and versionable closures across different code versions? This isn’t something out of the ordinary, you would think - but I can easily see how that could be hard to implement.