Model Space Reasoning as Search in Feedback Space for Planning Domain Generation