add missing cases to handle promotion + signed overflow correctly in fma/fms/fnms/fnma
remove unused typedefs in correct_fma tests
clean up correct_fma