Add quad_form, trace_quad_form and trace_gen_quad_form to the manual.