Hi Jean:
Yes, UUID linking is a good idea that we are just starting to work with in Hyperbole. We are developing a note-oriented subsystem atop HyRolo that will include UUIDs in each note, just as the Koutliner includes local idstamps in each cell today.
Of course, as you note, UUIDs can be useful as implicit link buttons that lookup database keys and retrieve associated values and creating your own implicit button types is a fine way to approach that. In the future, there will be Hyperbole functions that work with UUIDs that you will be able to leverage as well.
With regard to defil-defined button types flashing when activated, this is a feature that was left out. I have added it into the latest git master tip which you can access as an Emacs package tomorrow from the elpa-devel package archives (unreleased packages under development).
And for highlighting such buttons, this is a feature yet to be added that we will add to the feature request/todo list.
-- Bob