Avoid constraining template polymorphic types

stdpp/base.v

stdpp/fin_maps.v

stdpp/list.v

stdpp/natmap.v

stdpp/option.v

stdpp/sets.v

stdpp/tactics.v

stdpp/telescopes.v

tests/universes.v