HACK: until I can get the constraint kinds business working, adding a silly Ord constaritraint on newBottom