adding bool to the Makefile and changing the level of "==" (and putting it in type_scope)