Add a proof of Fokkinga's mutual recursion theorem
End examples environments with a black square
Display end marks on the last line of proofs and examples