improved grading check

Now it will throw an Exception if the input types were constraints and
a (computed) generator has non-positive degree.
fix a missing Top_Cone-> befor evaluate_rec_pry