More Stringp functions and documentation