Allow dictionary synthesis to emit decls (non-function methods, like `zero`, require it)
Allow dictionary synthesis to emit decls (non-function methods, like `zero`, require it)

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang