Add PER types with examples

I don't necessarily intend that we will merge this, since it's kind of experimental (and I am still not fully convinced of my definition, but it seems to work). Just wanted to demonstrate PER types in OTT.