add b->a instance for Alignable
added defaultBoundary instance and explanatory note
Merge pull request #133 from cscheid/Alignable-b-to-a-instance

add b->a instance for Alignable