2 bits for serialization of statement tag

[racs4]

Decreases serialization of statement type in 2 bits

[steinerkelvin]

This has the clear benefit of saving block space. But also leaves no space for a backwards-compatible way to add a new statement type (in a fork) as the current 4 statement types would fill exactly the 2 bits.