Type checker bug

This program

s = (objects: (numbers: 1, 2, 3), 4)

should produce a Type error, Series elements must have one type, but no error is issued. Interestingly, this

s = (objects: (numbers: 1, 2, 3), true)

produces an error. I suspect that only the datatype of the elements is checked ignoring their main type.