Fixes #1431

We create some new evaluation rules around closures:

• We only remove closures if the expression inside has an empty co-context.
• Since closures can remain in final expressions, we augment unboxing rules and cast calculus rules to deal with these

While we're at it we also

• remove the function closure argument in favor of just having functions wrapped in a closure.