Tidy up functional vector permutation #2066

[jamesmckinna]

This is a largely cosmetic coda to #2066 :

• Completes the Properties by adding structure and bundle (NB transitivity has horrible indexed inference mess)
• Sorts out alignment, standardises variable names
• Cleans up CHANGELOG

Apologies to all for not catching this earlier in review/comments on the earlier PR.