only locally make uPred_holds a coercion

uPred_holds being a coercion globally breaks the uPred abstraction. So only make it a coercion in modules that go into the model anyway.

While at it, I did the same for siProp.