Interchanging HIGH/LOW with true/false

const boolean ButtonDown = false; // button connects to GND

I like the approach, but I'd argue that the type and value should match the return type and value of digitalRead():

const int ButtonDown = LOW; // button connects to GND