Calc of number of free variables was wrong and now fixed.
Rigid syntax check of quantified variable list is now introduced.
tests for them are added.