Bot kvars

Remove all false kvars, so as to soundly check lazy examples, see tests/neg/fixme[0-2].hs

Make 2 passes to fixpoint. 
The first one only with the bot qualifiers to find false kvars.
Then make these kvars true, transform the constraints and run fixpoint.