a new meaning for likely_expression::symbol