Less verbose.
Add @miniboxed notation to HackMap, correct errors accordingly.