In phase 1, we extend Scala with expressions that can evaluate to any number of, rather than just one, objects. For this, we introduce three annotations, option, one, and any, that can be used to declare the multiplicity of typed declared entities, that is, of variabels (fields, formal parameters, and other local variables) and methods. Like types, the delcared multiplicities propagate through expressions so that the compiler can check well-formedness of a program with respect to multiplicities, and can compile any multiplicities to collections.