Document everything.
Default to "null" type for return value.

This matches PHP's behaviour.