Start some documentation about types