add section headings to reference manual
add section on undefined behavior to reference manual