StatusCompleted, 0.7
Typemodeling

Currently, you can't directly use a Signal or an intbv to index an array. Such objects have to be converted explicitly using int() first. Probably, this can be solved with the __index__() special method. This should be tried out both for indexing and slicing.