introduced typed racket with assertions