LLVM: removed GADT-stuff, worked a bit more on expressions (comparisons). Store is now an instruction (instead of value)