operator+ between vectors added.
serialize function: arguments flipped.
Minor: sig variable renamed real_signature.
Fix: using signature instead of __user fun->signature.
In pfq_functional_descr, removed signature entry (passed from user-space).
Missing includes and some functions declared static.
Few semantic bugs fixed.
Signatures of some predicates fixed.
Major: removed signature from user-space eDLS (Haskell).