add more explicit to single-arg constructors as advised by flint
add virtual destructor to base classes with virtual functions as advised by flint
filter more stuff in runflint.py
undo one explicit on Arg class