correct definition of evalCmd-coind

It looks like the final Coinductive.v stuff is going to be painful...