1. The Modint class is removed because iteration on integers mod n
wasn't really made easier with this class.

2. The foliation classes are polished a little, in particular, the
constructor of a Foliation from a FoliationSphere is now moved to the
FoliationFromSphere and constructs that class insted. The Foliation
class beacuse yet a little more clear.