now possible to see behind slots again
inference for If and Cond
separated bottom from other types w.r.t. colors, same with lists, made colors more flexible