Refine now does iota reduction in addition to beta.

Restores more compatibility with the earlier implementation of refine. Needed in ssreflect.