Add a dependent version of minus1Trunc_map
Do Exercise 7.1 from the book
Merge pull request #351 from JasonGross/ex-7-1

Exercise 7.1
I am merging as this is a small change which does not seem very critical.
Please let me know if this is too quick.