Fixed Array#-
Recalculate hierarchy type when subclass is added
Fixed restriction case with union and generic type
Fixed some array methods