Move (require a-typed-lang/more) into the lexical context of the caller

This fix was suggested by Evan Moran, see the discussion at:

 http://www.mail-archive.com/users@racket-lang.org/msg24601.html
Extend example.rkt
Nicer output formatting in example.rkt
Update README