@mel.Val is a historical attribute that shouldn’t be needed to infer global externals. We can remove it and make writing bindings a better experience.