Re: Concept[T]

[mora]

@andrea Yes, a concept can hold anything, it is a statement (I started 
debugging the compiler). Fixing `concept[T]` looks hard, even with the simplest 
example there are extremely many generics matching. I'm still working on 
creating tools to understand the structure.