PlayFromTopOfLibraryEffect should handle cast/play differently (split in two distinct effect?)

[Susucre]

Part of the effort to clean "you may play" / "you may cast" in various setups.

There is currently no clean distinction of play/cast in PlayFromTopOfLibraryEffect. And I'm not a fan of the verb being part of filters for text generation.

Probably a bunch of small [[Zoetic Cavern]] / [[Dryad Arbor]] / mdfc bugs.

Example of card that need to be cast only: [[Elven Chorus]] https://scryfall.com/search?q=o%3A%2Fyou+may+cast.*from+the+top+of+your+library%2F&unique=cards&as=grid&order=name

Example of cards that are play and cast: [[Magus of the Future]] https://scryfall.com/search?q=o%3A%2Fyou+may+play.*from+the+top+of+your+library%2F

[github-actions]

Zoetic Cavern - (Gatherer) (Scryfall) (EDHREC)

Land
{T}: Add {C}.
Morph {2} (You may cast this card face down as a 2/2 creature for {3}. Turn it face up any time for its morph cost.)

Dryad Arbor - (Gatherer) (Scryfall) (EDHREC)

Land Creature — Forest Dryad
1/1
(Dryad Arbor isn't a spell, it's affected by summoning sickness, and it has "{T}: Add {G}.")

Elven Chorus - (Gatherer) (Scryfall) (EDHREC)

{3}{G}
Enchantment
You may look at the top card of your library any time.
You may cast creature spells from the top of your library.
Creatures you control have "{T}: Add one mana of any color."

Magus of the Future - (Gatherer) (Scryfall) (EDHREC)

{2}{U}{U}{U}
Creature — Human Wizard
2/3
Play with the top card of your library revealed.
You may play lands and cast spells from the top of your library.