Enable / support more coverage tests in Coq

[cmester0]

The examples/coverage crate is only partially tested. Enable more tests, e.g. add support / enable tests for closures.