Explicit result types with empty refinements to prevent widening.
Workaround for SI-7755.
Split off sized syntax for Strings and GenTraversables.
Sized is now a value class.
Merge branch 'master' into scala-2.11.x