There's a heavy piece of increased complexity caused by this design choice. Is this really the right way?
I know we discussed it in general, but now that I'm working with this more, I'm less convinced. Especially insofar as we have to do some janky reflection shenanigans to marshal field/class descriptors.
Please evaluate if the complexity is necessary at the simpl level or if you can accomplish the same things at the mmd/big semantics level... Thanks. Ideally, if there were other scenarios that this would make sense for other developers, that'd more easily convince me that it's worth the complexity costs.
@quyin @andruidk