Probably not - the on-disk storage format still includes the types in the rows (in a very space-efficient form) so this would just add an error check / message

Probably not - the on-disk storage format still includes the types in the rows (in a very space-efficient form) so this would just add an error check / message rather than accepting a differently-typed value.