ssreflect: 1.4 -> 1.5