Deleting main.sml. Use demo.sml instead