some HoTT linking issues

[holtzermann17]

Just putting these here so they don't get lost - I imagine they will be resolved in the course of current work on link accuracy.

https://groups.google.com/forum/#!topic/homotopytypetheory/tZMQEa7y35k

http://nforum.mathforge.org/discussion/5025/homotopy-type-theory-univalent-foundations-of-mathematics/?Focus=44415#Comment_44415