rename hol-light/stateful to hol-light/standard and update README