Added `foo.@var` to read an instance variable of another object. Later this will only be allowed inside foo's type.

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