progress
pregress
automatically derive Show for multi-lexeme constituents