Implement weleq and clean up wlfcheck.ml