Juno patterns

Handle irrefutable patterns in Juno on the left-hand side of let statements and in function arguments.

assigned to @aaronjc4

merged

mentioned in commit 84436227