get m* working for typed racket and update docs
get m* working for typed racket and update docs cont.
update docs cont.