;; RecursiveVarDef (define: foo Int (+ foo 1))