* Add example for simple SERE * Add formal test for simple SERE example * Restructure lists in README