Schema type checking