Generalize condition in is_known_call
We're not consistent about whether singletons are represented as
Consts or as types (particularly after round-tripping through
a representation that doesn't have `Const`). As such, it is
easy for the compiler to miss calls.