Fix for Fact parsing function. Fact's whose first operand was negated caused a parsing error.  Additionally, the function as class concept was being misused as there were multiple "constructors", meaning two functions with the same name.