[xmonad] darcs patch: Simplify code for restriction-calculation and remove c...