Moving the "specialize" tactic out of the AST. Also removed an obsolete
variant of it, accepting an additional integer.