Define test to demonstrate ast awkwardness.
Add type annotations for references.

Conflicts:
	llvm-general/test/LLVM/General/Test/Instructions.hs
	llvm-general/test/LLVM/General/Test/Optimization.hs
Clean up code for handling type annotations in local references.