Polishing type checking working.