Get rid of the "bare" keyword
This removes the last remnants of the "bare" key word.
Yes, this means adding an extra line in some of the demos, and it may also result in very slight performance degradation of some vdot() calls, but the gained clarity should be worth it.
(Also I think that the performance regressions can be addressed fairly easily in the future.)