Update bytecodeformatter to handle function with arguments
make sure that autoref capitalizes Chapter and Section
Updates (work in progress) of Control Flow section