Support conversion of useless `and_return`

This closes #37.
Tweak README
Refactor AnyInstanceBlockRecord
Refactor messaging host classes