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

(binary:image/vnd.microsoft.icon)