Preemptively add "number" as a kind of flexible variable that can unify with an (Is Number)

This is similar to the recent issue with comparable brought up by Max.