Fix type saftey in main.sml
Added solve.sml, should be executable.