mps/plzero : added an boolean type