Add TotalEq to KeyCode to make it hashable