First commit. Relation, Formula, Group are done without
multi-thread safety.
Cleaned code
Constraint new lazy implemented.
Constraint as Lazy item
BugFix
Major Change complete