miner: Misc small refactor and renaming
Summary
Pulled out of !1078 (merged), this is 2 commits on top of !1078 (merged) to do some of the renaming changes proposed in discussions in !1078 (merged), as well as 1 minor refactor.
Test Plan
- review
ninja all check-all
Edited by Calin Culianu