Removed .qual from type - simplifies qualifier checking + cmps
Use .bits.types for _compatible_p
Move block_args into the expr-union
_Static_assert:s are printed