Type validation should be almost finished