Improved the explanation of inlining and strictness in section 2.