Disambiguating the Id[Constant] case between Type and Exp. And boolean ops return int.