Re: Concept[T]

[Araq]

    type Container[T] = concept c
      get(c, int) is T
    

No, `int` is a `typedesc[int]` which is not at all what `get` gets, use an int 
instead (`get(c, 0) is T`). (The manual needs to be updated.)

> By the way, is myVar is myType equivalent to type(myVar) == myType? If yes, 
> then is type(value) is T in the manual's "Concepts" section a typo?

Since there is no equality for typedescs, `type(myVar) == myType` is not valid 
and not the same as the `is` operator.