Exported `Empty` from `Data.Vector.Fixed`.
Added `mk0` and `N0` constructors and types.

To complement the existence of these empty types it's meaningful to
extend some of the helper functions and types.