FunctionFact;
+ caching LamdaExpression

DynamicTupleFact;
+ parse only, iff it snot a generic tuple

PushoutFacts;
+ support for duplicate Facts

SOMDocToLambdaExpression;
+ Bugfix: ?InvertRealLit was wrongly assigned to Negate
+ employ cashing of lambdaexpression for FuncFacts (x4,5 faster)