Add additional parameters to codegen

[kammce]

• The definition of function
• Number of checks/things that can throw
• Consider nested try catch blocks
• Allow a mix of trivial to non-trivial destructors