Revert r133373. I was going to use this to teach the Verifier to verify constant

expressions, but Chris wants to instead reduce the set of possible constant
expression types.

llvm-svn: 133374