Highlighting: Add mixin for trivially relocatable types

It would be quite nice if you could easily see if an object is cheap(trivially) to move (or copy). Maybe adding that information instead to the tooltip would be okay too. In that case we could provide much more information about type traits.