Normalizing models and discovering types.