Added documentation to avl_is_subset
Fixing some style issues
Fixed and clarified an issue regarding equal sets
Fixed style issues