Create basic type checking test