Inlineable classes

This WiP PR will host the inlineable classes optimization. Follow up in the comments.
Consider adding a comment what the two types in the tuple mean (record-style type, true type)?