Implement instantiation of a few boring, simple expressions. I don't think these are testable yet, though.

llvm-svn: 71953