arg_ -> "Arbitrary"
arg__ -> "Arbitrary sequence"
arg___ -> "Arbitrary blank sequence"
a__Head -> "Head sequence"
a_?IntegerQ -> "Integer"
b_Real -> "Real number"
b_Real?Internal`RealValuedNumericQ -> "Real number"
b_?(Not@*IntegerQ) :> "Arbitrary non-integer"
b_?randomTest ->
 If[MatchQ[randomTest, Symbol],
  "Arbitrary object passing randomTest",
  "Indeterminate"
  ]
b_?(Not@*randomTest) :> "Arbitrary object failing randomTest"
OptionsPattern[] -> "Options"
ops : OptionsPattern[] -> "Options"