Get bool module to compile

Change the quotation form `X` to parse_term "X" explicitly everywhere.

Revise parse_as_infix function. An unexpected change causes the wrong
type.