borrow dots for distinct types documented
fixes #992
fixes #1025; don't know what this breaks
Merge branch 'devel' of https://github.com/Araq/Nimrod into devel