Fix kind-var abstraction in SimplUtils.abstractFloats