Rename Problem-TypeTags to end in "TypeTag"
Most of our test TypeTags are called something like OnePBoxProblem
but I think they should be called OnePBoxTypeTag
just to avoid confusion with the problem class.
Edited by Timo Koch
Most of our test TypeTags are called something like OnePBoxProblem
but I think they should be called OnePBoxTypeTag
just to avoid confusion with the problem class.