Inlineable classes

This WiP PR will host the inlineable classes optimization. Follow up in the comments.
No, for the same reason. And again, now I think it is not strict enough, and `thenOrigType` must be equal to `elseOrigType` as well.