Rules do not apply recursively

Right now we have things like:
```c++
template <typename T1>
std::vector<std::vector<T1>> f29(const std::vector<std::vector<T1>> &&o) {
  return std::vector<std::vector<T1>>(std::move(o));
}
```

This leads to a lot of duplicated rules and it's not sustainable. Type instantiation must be done recursively using the "box until last level" algorithm.