Describir: Logic of Lemmings in Compiler Innovation.