Fixed SSA for instance variables
Continued bootstrap's parser and type inference