[primitives] Helper macros for precondition checks

[malikolivier]

Define convenience macros to reduce boilerplate. Code should be self-explanatory.

Let's use those convenience macros for precondition checks from now on.

[malikolivier]

49 のマージでコンフリクトが生じたので、私は先にコンフリクトを直すね。