Allow $x, as well as $(x), at top level in TH