name and type checking tests