rename lexstack.ml to sf.ml