Verified: Skeleton names trigger symbol lookup

Also added skeletons to Driver/Types.def so that we don’t need to use
the clang frontend directly. Currently generate null statements for
skeletons.