llvmGen: Begin reimplementing tntc
More TNTC cleanup
llvmGen: Only support LLVM 3.6