ivory: Remove DynArrays, rewrite string module.

- Postponing implementation of dynamic arrays until the issues
  with inclusion of DynArrays in structures is resolved.
- Re-implemented string module as a parameterized structure type.