Swift pragmatic immediate precedence infix prefix postfix unary overflow guard bitwise extension protocol internal clause annotation constraint optional closures