Remove literate haskell style on Induction.Structural
Add a little comment to Util
Add testing by randomized walks