Added tests (and one needed production code tweak) for type checked all (xs) should contain (<element>)