Fixing #15
- Adding xxxxOf and isXxxxOf for all the types available (attemptOf and isAttemptOf).
- Shrink for all the values, although currently it results in an empty array rather than the correct shrinkage.