First attempt at top level case expressions
Allow multiple-argument functions to be defined using top level case expressions
Better codegen for top level case expressions - make Case expressions accept multiple inputs in general.
Better capture avoiding function argument names
Inlining multiple function arguments
Parser changes for top-level binders