Success! Final stack:
  (Lean.Doc.Syntax.metadata_block
   "%%%"
   (Term.structInstFields
    [(Term.structInstField
      (Term.structInstLVal `foo [])
      [[]
       []
       (Term.structInstFieldDef ":=" [] `bar)])
     []])
   "%%%")
All input consumed.