[Ur] new user having some questions such as a:::Type twice? and more

[Karn Kallio]

With regards to 8) there is a mercurial repository available; 

hg clone http://hg.impredicative.com/urweb

should get you a copy.