bslPervasives.js: rewrite jlog, restyle