[Synthetic Arrow-Syntax] Enable synthetic partial application, currying, etc over Type Proofs.

[pakoito]

We currently don't have support for partial application and currying for suspend functions, or any of the other function helpers in the syntax module.

[raulraja]

We need to address this as a compiler plugin because the alternative is to have n repeated arities for regular and suspend functions.