add a rule that checks if an as can be converted to a satisfies

[jpolavar]

https://checkdigit.slack.com/archives/C0W7RDCE4/p1740692803015949?thread_ts=1740690130.346429&cid=C0W7RDCE4

“satisfies” instead of “as”
need to look into a new rule that checks if an as can be converted to a satisfies (if so provide auto-fix) otherwise error.