 // Standard prefix operators.
 prefix operator ++
 prefix operator --
-prefix operator !
+prefix operator ! : Bool
 prefix operator ~ : BinaryInteger
 prefix operator + : AdditiveArithmetic
 prefix operator - : SignedNumeric
-prefix operator ...
-prefix operator ..<
+prefix operator ... : Comparable
+prefix operator ..< : Comparable
 
 // Standard infix operators.
 

infix operator   ^ : AdditionPrecedence, BinaryInteger

// FIXME: is this the right precedence level for "..." ?
infix operator  ... : RangeFormationPrecedence
infix operator  ..< : RangeFormationPrecedence

// The cast operators 'as' and 'is' are hardcoded as if they had the
// following attributes:


// "Conjunctive"

infix operator && : LogicalConjunctionPrecedence, Bool

// "Disjunctive"

infix operator || : LogicalDisjunctionPrecedence, Bool

// User-defined ternary operators are not supported. The ? : operator is
// hardcoded as if it had the following attributes:
