Added angelic version for <=
Improved example generators using ColistP
Refactoring

  Added iterate to Generator.Base
Attempt to define converter between two interfaces

  Added fin example