updated typed/racket version with necessary annotation