schema and type checking working