Rename the structure to HeytAlg, supposely it's bicartesian closed and also a poset (FinSet)