HoTT/HoTT — pull request #365 by JasonGross (2014-04-14 01:37:01+00:00)
Title: Fix the implicit arguments to [point]

Now it takes the type as an argument, rather than taking no arguments.
For bonus points, figure out how [point A] used to work.