stream parser directly in the Logic_terms.S module (given a symbol parsing function)