remove modelShell, no need for that anymore
coq 8.4 compat: remove '(dependent evars:)' from output
minor updates here