class real_inner derives from open_dist

introduce class topological_space as a superclass of metric_space

Converted reification to use fold_map instead of Library.foldl_map. Use antiquotations.

additional debugging

include chain-ths in every prover-call

split preparing clauses and writing problemfile; included results of count_constants in return-type of prover; optionally pass counted constants to prover; removed unused external_prover from signature