Mongo repository for proofs.

Rename Criteria to Criterion.

Modular project optimized for vertical slices. ...

With DDD the separate pieces of the puzzle are better arranged accoring
to the context boundary, instead of technology.