pfq_function_descr extended with properties.
symtable extended with support of function properties.
Improved function sanity check through function properties.
C++ and Haskell library updated: added methods to add computations as vector/list of FunDescr
pfq-counters.cpp fixed to work with new functional engine.