Remove Human, because rules that were added to the gramamr of the Parent were also added to the grammar of the Child. In Grammar: reduce search space by finding cheapest rules to expand. Fix __eq__ by first checking instance. In World: Added some features (costs sizes) to be printed.