aes to typed/racket