(in-progress) still converting stp-init.rkt to typed/racket