type checking for  and , more tests