micromega : vm_compute; reflexivity -> vm_cast_no_check (eq_refl true)

* Thanks to G. Melquiond for pointing out that 'abstract' already performs type-checking