added files for class boolean_type