Remove proposal example on .type

Author: valencik

_sips/sips/2014-06-27-42.type.md

@@ -88,12 +88,6 @@ Lightbend Scala compiler.
   foo(1: 1)                          // type ascription
   ```
 
-+ The `.type` singleton type forming operator can be applied to values of all subtypes of `Any`.
-  ```
-  def foo[T](t: T): t.type = t
-  foo(23)                            // result is 23: 23
-  ```
-
 + The presence of an upper bound of `Singleton` on a formal type parameter indicates that
   singleton types should be inferred for type parameters at call sites.
   ```