Oh, yes, I was not able to put together a small example. Just wait until I
touch the compiler's code, and see what I'll break :)
@andrea: I'm not sure that you can create variables in a `concept`, that's why
I wanted to have it inline. Let me give an example where it is needed:
type Map[T,S] = concept c
get(c, default(T)) is S
hasKey(c, default(T)) is bool
values(c) is seq[S]
# ...
where `default(T)` is some inline expression which gives a variable with the
given type (e.g., `new(T)[]`). And sorry, I haven't tried out your Emmy
library, but I'll.
> Peter
