Link to LLVM libraries
Implement term evaluation

The evaluate function is now a big ugly lambda, but it works!