dynamic type abstraction and racket modules 955224