Fix SubstVX for XPrivate
Fix WeakStProps
Fix WeakTyEnv for private
f2cap: fixing SubstTX