* clean up state machine in Top * `requestTag` method now emits Maybe type * put more thought into comments around asynchronous bus