Core: improve instantiates's implementation and decapitalize Core module
Add the bool.hpp header.
Type: refactor the interface
Iterable: remove comparison between arbitrary Iterables