fix #755: make Namespace type public#762

borkdude merged 3 commits intomasterbabashka/sci:masterfrom

ns-public-typebabashka/sci:ns-public-typeCopy head branch name to clipboard