Confusion about the Hamel Basis

Your definitions of "linearly independent", "basis", and "orthonormal basis" are all correct. In particular, an orthonormal basis for an infinite-dimensional Hilbert space is not actually a basis (since you will need to use infinite linear combinations).

"Hamel basis" means exactly the same thing as "basis". The reason that it is given a different name is to emphasize that you are talking about a basis with respect to finite linear combinations, as opposed to some other kind of object that might be referred to using the word "basis" but which is not actually a basis (such as an orthonormal basis or a Schauder basis). Indeed, when talking about infinite-dimensional topological vector spaces, it is rare that you actually care about a basis as opposed to some related notion that allows for infinite linear combinations. So in most contexts if someone refers to a "basis" of such a space, it is actually more likely than not that they are abusing terminology and are using "basis" as an abbreviation for "orthonormal basis" or something similar. To make it clear that you literally mean just a basis, it is common to say "Hamel basis".

As for your book's definition, note that "maximal" means "cannot be enlarged to a superset", not "cannot be enlarged in cardinality". So a "maximal linearly independent set" is a linearly independent set $S$ such that there is no proper superset $T$ of $S$ which is linearly independent. This is equivalent to saying $S$ spans the whole space (using finite linear combinations). Indeed, if $S$ does not span the whole space, you can take any vector not in its span and add it to $S$ to get a larger linearly independent set. Conversely, if $S$ does span the whole space, any vector not in $S$ is a linear combination of elements of $S$ and thus would give a linearly dependent set if you added it to $S$.