4 state datatypes

In reply to natasv:

these are mainly to model the actual hardware behavior. For example, on power-on the content of the RAM is unknown, each bit can be zero/one, which is represented by “X”.