update webchurch
refactor to put grammar based induction into learning as inference