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