add type check tests