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

(binary:application/octet-stream)