converted sexp functions to produce pyret