Added “Type.class” as a metaclass literal. This allows doing, for example, a = [] of Foo.class; a << Foo; a << Bar where Bar < Foo

When doing “class Foo::Bar” or “module Foo::Bar”, if Foo didn’t exist it is automatically created as a module.

add more samples

Fixed SSA case: declaring a variable inside a block, inside the “else” branch of an if where the variable is declared in the “then” branch