#10: implemented root function generation
into Prop.hs module
Closes #10.
Merge branch 'shlomo.10.root' of github.com:gekonwi/brandeis.semantics into shlomo.10.root