args, guard, type, constraint, etc., of a
Args takes one argument, a symbol which must be the name of a function
or macro, and prints out some information about it including the formal
parameters, the guard expression, the output signature, the
deduced type, the constraint (if any), and its badge and warrant, if any.