Explain about equality proofs and equational proofs

[rodrigogribeiro]

There must be a section explaining about propositional equality and equational reasoning in Agda.

Also, I must include more example of such proofs.