16:32:57Bikei already have sort of a library of type inference for clasp (https://github.com/clasp-developers/clasp/blob/main/src/lisp/kernel/cleavir/type.lisp#L211-L1464), but it's nonportable and incomplete, and probably slow. being able to have that in a separate library would be nice.
16:33:51heisigSounds good. And I would get additional test coverage :) Don't hesitate to reach out for me if you have any questions or feature requests.