Try out erasable comprehension syntax.
Update _CoqProject and Makefile per new -R option.  Try not to rely on auto
generated names.  Consider not relying on Opaque List.app.