Adding way to get the list of the accepted tactic notation arguments.