[metal] Metal Sync as stateful operator and opaque fact propagation in PropConst.

[metal] Metal Sync as stateful operator and opaque fact propagation in PropConst. #1975