Move ``yes` and ``no` to `Reflection.Syntax`#33

omelkonian merged 2 commits intomasteragda/agda-stdlib-meta:masterfrom

andre/move-quoted-yes-noagda/agda-stdlib-meta:andre/move-quoted-yes-noCopy head branch name to clipboard