add a bunch of documentation about the LLVM type resolution machinery