Add example.sml and update readme