we need a "best practices" document
it should contain
- good examples for things to do
- good examples for things not to do
- an intro to MV symdefs
- ... your idea here ... @mkohlhase and @jschefter should help. @hkroeger can consult and give good examples.