Make Bool_ Typeable
Updated tests to pass