Looks good to me modulo naming of the functions. `sqerl_fun` is too generic since I think if we go this route we'll have a few different versions?