A new type for tactics