add b->a instance for Alignable

I'm keeping the failed attempt to get an instance via defaultBoundary as comments, mostly so you can see what I was trying to get at. I don't think something like that will work easily, but with this pull request, diagrams-lib emits warnings during compilation, which is bad.

Ideas?