Test qual of vars in foralls

Currently failing, need to rework a few things to make it possible.
Moved `tv` to places that actually make sense