Boostrap: added -no-build flag. And some fixes with ssa and instance vars inside initialize.
Bootstrap: added -types switch to print types of global variables