The removal of `fun` (And unification of @@@) is directly tied to the parens change; otherwise there'd be parsing conflicts