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