Fix error messages in test cases, since fns/traits now pretty-print with a bounds list