MaybeFlexible semantic changes

From Maybe reducible to Maybe to reduce (but for sure reducible)
Evarconv unification respects Conv_oracle