Add some infrastructure for dealing with expressions of 'placeholder' type,

i.e. expressions with an internally-convenient type which should not be
appearing in generally valid, complete ASTs.

llvm-svn: 116281