Revert "oh i can't do this because defn wants symbol and I'm giving it a lexical that resolves as a symbol ah and this would've faqing solve the isAssumptionFailed issue and also not using eval"
Revert "oh i can't do this because defn wants symbol and I'm giving it a lexical that resolves as a symbol ah and this would've faqing solve the isAssumptionFailed issue and also not using eval"

This reverts commit 85219208007fff6e7a11fb579d7125c73a6dc597.

unkn/demlinks