Fix function with tuple type in codomain
- actually, it was not implemented (sic)
- tuples are explicitly forbidden in the definition domain
- add associated tests
- update user documentation
enabled an automatic merge when the pipeline for a1f6749b succeeds
merged
mentioned in commit 6b1805ae