PLN features

More rules
Better formulas
Efficient atom lookup system