Added tests for SimpleBool Type data-type
Added tests for SimpleBool Type data-type as an instance of Show type-class
Added tests for SimpleBool Type data-type as an instance of Display type-class
#18 Added test for SImpleBool Context
#18 Added test for SimpleBool Context (testing control context)