ivory-stdlib: Add Maybe module for nullable values.

- Much like the Haskell 'Maybe' type, it must be unwrapped
  in order to use the value, always making sure to handle the
  case where there is no value.
ivory-stdlib: Don't use Ix type for string capacity.

- Fixes a wraparound bug where capacity ended up being zero.