#10: implemented root function generation
into Prop.hs module
Finishes #10.