simp usually reduces Fin n literals, but not n itself

simp usually reduces Fin n literals, but not n itself #8671