add miter generator for naive SMPO and spec, update README