a new transformation --template-non-type-arg-to-int

replace a non-type argument with an integer if
the argument's type is compatible