type checking for scalars passes tests