semantic: Use mangler to support overloading interface methods.