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