isNull for Strings.
[maven-release-plugin] prepare release idris-0.9.10-alpha-2