don't use core.logic to-stream

`to-stream` doesn't run constraints, which is causing problems when constrained values are used in relations.

this fix rewrites to-stream in terms on `mplus` and `bind` using `==` for to fully unify pldb values with lvars.