added more material to the attribute section; merged the recipe about named theorems into the main body; added a solution to an exercise in the conversion section

(binary:application/pdf)