Crypto implemenetations in pure Typed Racket .