Remove further traces of ssreflect.