modified boolean-type.cc
started implementing class generic_argument
added class debug_output