Some additions to the article here and there.
Too little time...

* [EXPERIMENT] Added note on non-equivalent identity.
* [GENERIC PROPERTIES] Started excluding these from the main approach outline, as an extra complexity.
* [APPROACH] Added an outline of the approach.
* [APPROACH] Described identity for typed literals.
* [PRELIMS] Added some preliminaries.
* [RELWORK] Started working on related work section, but time is up :-(