added routine for converting lambda calculus to combinatorial logic
removed comments, changed ordering of arguments to is-voiced
fixed bug in previous commit
fixed bug in grammar parameter fitting for applications