adjust tut-subst.rkt so that it also supports
untyped languages