src/egt.dfa.m: add maybe_bool/2 function
src/string_encoding.m: renamed lead_ -> leading_ trail_ -> trailing_