Use fixed variables in constraint

[sameersingh]

For now, let's call it x.

[sameersingh]

Working on support for multiple variables sent to constraint, i.e. lambda x,y: return x[0]==y[1]. Maybe user can send one of them a fixed tensors to support fixed variables, but probably something to check.