This pull request comprises various changes prompted by the scanner refactor (#227) that can cleanly be separated from that work. That includes the move of Nat/Zint to Basis, though #128 depends on (already-implemented) scanner enhancements in #227, so #128 will remain open for the time being.
This pull request comprises various changes prompted by the scanner refactor (#227) that can cleanly be separated from that work. That includes the move of
Nat/ZinttoBasis, though #128 depends on (already-implemented) scanner enhancements in #227, so #128 will remain open for the time being.