dnf.py
Added prior(formula) to Grammar
Added memoizer in utils
Changed memoizer so that it can be used as a decorator
Added prob(formula) = P(F|G, uniform) to grammar; improved memoization