revises the documentation of Module#const_defined?