I wrote up an alternative proposal here: https://blog.joda.org/2022/10/fully-defined-entrypoints.html

My concept is much more powerful by having a new kind of class declaration alongside 'record' and 'enum' - 'entrypoint'.