PFqLang: rewritten with phantom types and GADTs...
Added simple test-lang.hs
Minor: FunType renamed Qfun.
Improved checks for non null function names.
In PFqLang, eval function added.
In PFq.hsc, groupComputation funciton added.
Few tests updated.