method pp_tau_bool = pp_string "bool"