Expressltexx: Update README with current progress