Removing io:format from refac_arit_simpl
Changing symbolic evaluation menu
Accepting . in the end of expressions for evaluator