Operators and smarter type signatures