Initial coq implementation of corex10.pl