proof output for semantic labelling should use tc/MB/Proof

[jwaldmann]

... while currently it goes to TPDB.CPF

but MB/Proof has nicer ways of abstraction.

In the long term, we could move MB/Proof to TPDB, that makes it more re-usable.