Add bindings to pattern matching in case statement typechecking