snc: ensure TypeMask has enough bits for all expression types

The new header file static_assert.h defines a macro that enables
static (compile time) checks for things like that.