removed type-check errors from stp-init.rkt but breaks one of the casts I put in
made a tspec structure instead of consing a byte onto a pair; still have runtime error