Treat native operators and native constructors in different ways in the analysis and backend.