All booleans are now internally represented as IBool

Measurement shows that the original optimization to use two different
kinds of Booleans had no effect. We have now simpeler code.
Untangling
Added simple program to find uninitialized variables in Rascal code.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git