adding an s-exp-format to plai-typed?

I want some way to transform an arbitrary s-expression to a string, for use in error messages in plai-typed. This is easy to add (I think I've done it locally), but I thought I'd ask before submitting a pull request. Does this seem like a reasonable feature and/or name? Am I missing an obvious way to do this?

John
____________________
Racket Users list:
http://lists.racket-lang.org/users