w05e04: Defining Bool and Ring/Parsable instances
w05e05: distribute
w05e06: squashMulId
w05e07: generalize walkExpr