(in progress) still converting stp-solve-base to typed