added racket characters and filetype