move faithful gradient & extend sampling interface for expect

[Roger-luo]

I think it's time to move them here now.

I don't think we will revise the design recently even there might be some problem there which should be solve in a more elegant approach by introducing the new IR.