Also handle RealVal in sminus.
Make symbol table type properly abstract.

This is to prepare for real range handling.