Stronger example and optimisations

Optimisations (=== vs. ==)
Added some more pseudo state kinds
Made the example page more presentable