Improved documentation, fixed bug with d.post in BranchedCoveringByMonodromy