Document undocumented types and functions
Implement half of the Demxuing functions