In languages like English, bare nominals are only used in special constructions, and they come with special meaning effects. This paper applies bidirectional Optimality Theory to explain why unmarked (articleless) forms have unmarked (stereotypical) meanings. The syntactic unmarkedness of bare nominals is embedded in a constraint-based typology of number, article use and referentiality. The semantic unmarkedness of the stereotypical interpretation falls out of the strongest meaning hypothesis.