Fixed some HoTT bugs, provide a proper error message when giving an ill-formed
universe instance.