Replace bdd low/high with lo/hi

I got this notation from University of Illinois VLSI/CAD lecture notes.
The symmetry of lo/hi is slightly nicer than low/high.