type-conv: added tests for [sexp_of] and [of_sexp]