Add new type 'Bool'
Add nicer comparison output for modules
First implementation of comparisons