jextract: make sure and formalize we handle overloads properly

[ktoso]

This may be more of a documentation task, unless we find bugs. We should document how overloads in the generated Java correspond to the Swift side.