duplicate definition errors in typecheck.rkt