Change bm facedefs

Uses overlines, much less clutter than before though.
Overlines might be good for bookmark type of things.