Daniel-Constantin Mierla writes:
ok, which reminds me that I wanted to add
transformations for strip and
strip_tail for the sake of cfg easiness...
those would would make my expression much simpler. there is now some
core functions like those that operate on $tu and once the functions you
mention are available, we could remove the corresponding core functions.
-- juha