Lazy upcasting

[Denis Golovan]

Hi, all!

>> void main() {
>> //                             ...ok...      ...ok...        ...ups!
>> SpecificStorage1 s1 = (new SpecificStorage).param2(true).param1(5);
>>}

As far as I understand, this breaks strict type-checking of the language.

However, things like overriding virtual function with params/return types 
changed to subclasses, IMHO, is worth to consider. Indeed, it shortens 
overriding of semantically same methods.

As for object factory function, it seems that is used for hiding subclasses, 
so, IMHO, it don't need downcasts at all.