String literals semantically equivalent to names