HoTT/HoTT — pull request #490 by JasonGross (2014-09-11 17:11:00+00:00)
Title: Bind various scopes to their corresponding types

This gives better automatic scope resolution.