simplify

Currently there is too much clutter, the whole library should be simplified in the following points:

• The current type signature is a little too complicated, the infos necessary on each call are

  • Output type,
  • Previous Call and if none
  • Input type

• Piped calls should not know the operator that led to them

• Testing everything via the morphisms of operators is counteproductive as it allows access "inside" a call