Fixed the inheritance hiearchy of arrays.
Fixed the desugaring of && and ||.
Fixed tail calls in methods of trait impl class.