Compile-time pattern type checking

[3Hren]

Given:

• logging pattern: "some message with {} placeholders and {:d} even {:.3f} more".
• formatting arguments: ["some", 2, 3.1415]

Required:

• check that sizeof...(Args) == placeholdersCount().
• for every placeholder check type requirements.

Every invalid pattern should result in compile error.