Major Section: OTHER
Examples: :trans1 (list a b c) :trans1 (caddr x) :trans1 (cond (p q) (r))
This function takes one argument, an alleged term, and expands the
top-level macro in it for one step only. Either an error is caused,
which happens when the form is not a call of a macro, or the result
is printed. Also see trans, which translates the given form
completely.