Remove TypeTag from Problem-specific TypeTag definitions
This is an issue once !1211 (merged) is merged. Before TypeTag
was a useful suffix increasing readability and avoiding confusion with class types. With !1211 (merged) is becomes mandatory to properly qualify each TypeTag with TTag::<TypeTag>
, the TTag
namespace. As a consequence the TypeTag
is redundant and should be removed. See 9b6dc497 for an example.