Renames logic.hs to Logic.hs