make AtermCommands non-static to enable context-specific typesmart constructors