Talking about Lava, made PiWare connection patterns code better
shown ripple carry example to compare with Lava
added extra highlighting shortcuts for manual typesetting of short agda excerpts
included patched latex code for ripple carry