Implemented SSA!

SSA has been finally implemented! :)
Also, I've made a few changes in the compiler's symbol handling I didn't
have time before (now there's just TSymbol, not TLocalSymbol and
TGlobalSymbol, like before).