An IR representing loops, and a compiler into C built with the Compiler.Generic typeclasses from https://github.com/andrew-wja/compiler-machinery