Abstract C types
Formatting and doc update