Rewrite of basic access control and optim1 using loockup on acl instead of join.
New implementation of optim2 with insertion of new symbols for formulas and using lookup everywhere possible.
Build 8.