a new transformation template-arg-to-int

replace a template argument with int if this argument
is a class