Add some docs on pointers
Add documentation on ADTs