updated todo
port of Valentino's PCFG code
fix default proposals
fix choice-counting bug in MH
adjust ll-free, ll-obs in db-add! method