addDecls env ds                 = env { cons = consOf ds ++ cons env, sels = selsOf ds ++ sels env }
addDecls env ds                 = env { cons = consOf ds ++ cons env, sels = selsOf ds ++ sels env }
addDecls env ds                 = env { cons = consOf ds ++ cons env, sels = selsOf ds ++ sels env }