reword feedback section
remove @infix due to language changes
handle change in optional-to-bool conversion rules
handle change in signed/unsigned conversion rules
rename stdlib types