Add static_asserts to sexpr_funcs.h