Yes, seems to be mostly fixed. That time I could not create (or populate) dynamically allocated values at compiletime, like sequenses, tables, ptr/ref'ed values. As I've just tested, now sequenses, tables and strings work as expected (pointers though seem to not work, silently; probably just all unsafe features are disallowed, like yet casts and FFI).
The idea to begin with then was to create an extendable list of association of interfaces to types, implementing them (interface#1 => (type#1, type#2, ...), ...), then to append items to it in `implements` macro, and in a concept's body to check that the type tested is in the list for that concept.
