add type of bool in mCRL2