Added first cut of Galois library, copied over from my private thesis repo