More explicit typing (Set, List, int). Minor doc corrections. () consistency.