Some changes to improve the API, refactoring and simplifying coupleme…

…nt between rules, patterns, variables and facts

simplified definition of fact variables and allowed lambda function s…

…trings as user functions

Changed the name to Lua-FaCES