'<<' alignment; better operator walking; some more tweaks