Better type names, one-dimensional interference