Function inverter #71
Description
Given an IExpr representing a function, we should have a way to make the inverse function. It's ok if the result is a partial function, or if one possible function is chosen from many.
If implemented, this issue unlocks pattern matching with arbitrary functions.