Add section on HLL, update a few points. Needs actual code.