implement base class for Well algorithm

[schmouk]

Let's implement it directly from the initial paper.

[schmouk]

Completed.
Extended also the definition of types.StateType.