A bad interface for the KnotProver

- The idea of the knot prover is to enable tying a knot between
  two provers so that they can call each other.
- A few notes:
  1) Probably want to do this in CPS style
  2) The current definitions pull everything apart making it
     unsuitable. I need to somehow integrate this with the existing
     interfaces.