Further work on propagating types. Now it hopefully works fully, just need to annotate namespace with types first.

(binary:image/png)