Kickass refactoring

Finally the iteration process (fixpoint) I think is useful.