[racket] 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