uncomment two theorems in evalPropsScript.sml

the statements changed slightly, so wherever these theorems are used
will probably need fixing at some point too.