New version of sLR3.ml

This should be integrated into sLR.ml, so that we have a single
code base for the sLR family of algorithms.