SPEC-0: include sympy?

I was psyched to discover SPEC-0 and I think it’s a great tool! Thanks for everyone contributing. I do however have the following question.

Sympy seems to be a prominent package in the scientific python landscape that isn’t included in SPEC-0. Is there a reason for this? What steps would need to be taken for it to be included?