Rename from HigherDim.hs to LPGenerate.hs