Strings are inhabited

Add instance for Inhabited string; usually you can rely on stdpp having all the instances you'd expect, which is pretty cool, so let's fix this small exception