Remove TABs from src

Will also make selftest to check that they aren't introduced

Swap res_quanTools and res_quanLib.

A complete overhaul of the restricted quantifier library.
Now all the tools regard
!x :: P. M x
as a way of expressing
!x. x IN P ==> M x
instead of
!x. P x ==> M x

Initial revision