Added memoizing of expression log likelihoods to give linear-time inout
More polynomial regression tests
Polynomial testing
Fixed bug in initialization of type inference from grammars
Ported EnumBF to new code
Ported EnumBF to new code, pt 2