Open
Description
As inspired by the comments in #294 (comment), it'd be neat if we could use type inference to apply rules, rather than looking for specific variable names.
As inspired by the comments in #294 (comment), it'd be neat if we could use type inference to apply rules, rather than looking for specific variable names.