Uses of Case and Constr in Aiken

[MicroProofs]

Considering that there will be further improvements to the usage of Data in PlutusV3 and onwards. The approach is to only lightly use these terms for now.

• First is to use case and constr where it most makes sense. Mutual recursion. This is a perfect use case with minimal changes to gen_uplc.
• Second is in the case of 3 or more applies we can use (case (constr 0 [args]) function) to apply many arguments for 200 mem. Split function body application from name in some cases #1083

[MicroProofs]

Actually PR #1083 does not touch mutual recursion. So that will be a later endeavor.