note that traptype MUST increase in bitwidth corresponding to additions