Update signatures of render and handle in syntax.skel