Fix bindings in ADT pattern matching codegen