[standard-ml/en-en] Removing syntax errors and fixing solve2 function