Update and rename Main.lhs to Main.md