Add documentation for each proof type
Some more comments added to ECPP documentation