Make dumptypes rewrite loc_exprs to use CFA/frame_base wherever possible. Minor fixes. Add hello-stackactual test (which requires the aforementioned rewriting to work).