Improved documentation of the new proxy generation code.
Fixed bugs to do with default values.