Add handling of Hold expressions.

Also improve usage messages and make sure options are propagated.