Add `def f($arg):` syntax (fix #524)