(broken) starting conversion of stp-solve-base.rkt to typed/racket