semantic: Check that @interface fields conform to type requirements.