Lizards are a type of reptile, just like the many different kinds of dinosaurs were reptiles. However dinosuars are not the same subset of reptile as lizards.
Still, if you jump on a lizards head or you jump on a goomba's head, you still get a squashed reptile (or mushroom
)