Type definition of a function that filters characters from the source text in preparation of tokenization.
source
typedef CharacterFilter = String Function(String source, [String? zone]);