add type of bool in mCRL2
add type of bool in mCRL2

alaarman/ltsmin,trolando/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,trolando/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,Sybe/composition,Meijuh/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,buschko/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,trolando/ltsmin,buschko/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,alaarman/ltsmin,Sybe/composition,utwente-fmt/ltsmin,vbloemen/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,Sybe/composition,Meijuh/ltsmin,alaarman/ltsmin,trolando/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,buschko/ltsmin,buschko/ltsmin,Sybe/composition