New argument-wrapping system (tested)
refactored evaluation framework (all tested)
size argument of templates: int ==> index_t
add a missed "inline" in matrix_copy