New types as solution to primitive obsession