factor parse into smaller combinators
add standard combinators
factor out subterm
factor parse
add comments for term (c b1) and (c b0)
refactor inflate
refactor inflate
integrate P back into term
refactor inflate
completed inflate