I am unable to find out relevant discussions in Basic Profile Version 1.0
that can support the following claim in your post:
the WS-I BP clearly prohibits this so if an input and output have a part with the same name, they must be the same type
Could you possibly give me a clue either as form of the requirement statement number or cut and paste some text from Basic Profile Version 1.0
? Am I looking at wrong document?
I appreicate your help very much.