Lattice programming WIP

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Complete proof of the full generalized half-ball lemma

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>