Extensibility mechanisms

I have changed the mapping for the Java types char and Character. If these types are returned from an extension function, or supplied as a stylesheet parameter, they are now mapped to an XPath string. Previously they were returned as an integer.