Document PSI basics

ASTs, declared elements, references, type systems, caching…

Fixes #4