Like we have two degrees of freedom here (rule vs. goal_rule and "return type is Goal vs not") and then we have to check that they line up.