Added missing dependency for vector-space package.
Implemented finer granularity for progress indicators.
Small adjustments of the unit example.