You're a bit confused about the terminology: in order to show that HAMPATH is NP-complete, you need to show that it's in NP (that's very easy) and that every problem in NP reduces to it. You do that by reducing some other NP-complete problem to HAMPATH.
As Theo noted, 3SAT is a special case of SAT, and so it's easier use 3SAT. The reduction that works for SAT will also work for 3SAT, but it may need to handle more cases. I'm not familiar with this particular reduction, but it might be that it's actually straightforward to generalize it to the "general case", but there's nothing to be gained by doing it.
Reductions showing a problem is NP-complete are usually like that - very intricate and slightly hard to follow. But usually there's the main idea - e.g., what corresponds to variables, what corresponds to clauses, why it should work - and the technical details. See first that you understand the main idea.
The technical details break into two parts. One part is the gadgets - you need to understand what the gadgets are supposed to do and how they accomplish it. The second part is proving that the construction works. In your case, it's probably easy to show that if the 3SAT instance is satisfiable, then the graph has a Hamiltonian path. It's probably more difficult to show that if the instance is unsatisfiable, the graph doesn't have any Hamiltonian paths. There's some intuition which leads us to believe that to be the case, but we still have to prove it, and the proof might be tricky.
Don't get discouraged if you don't "get it" right away. The best thing to understand these proofs is to do some of your own. Only then can you appreciate the thought processes behind such proofs. Better still, you might try working out a similar proof yourself, and see where you get stuck. There are some obstacles to overcome, and if you're aware of them then the construction will become much more interesting.
Looking at the reduction, I think Sisper explains it pretty well. In fact, for an expert it might be enough to mostly look at all the figures. The pattern of this reduction is very standard, so once you understand this one, you'll be in much better position to understand a whole lot of them!
The idea is to have variable-gadgets and clause-gadgets. The variable-gadgets can be traversed in two ways (according to the truth assignment). The clause-gadgets can be traversed-through from a satisfying literal.
So far for the idea. The construction itself is pretty simple, and it's easy to check that if a formula is satisfiable then there's a Hamiltonian path. It's also easy to see that if there's a similarly-looking Hamiltonian path then there's a satisfying assignment. The hard part is showing that all Hamiltonian paths "look as if they came out from a truth assignment", which must be satisfying.
A decision problem A is NP-hard means that if you can solve A in polynomial in input size, you can solve any NP problem in polynomial time (in input size). The mechanism to convert a problem B to a problem A (in polynomial time) is called a reduction from B to A.
3-COLOURABILITY
Input: A graph G
Question: Is G 3-colourable (i.e., is $\chi(G)\leq 3)$ ?
The problem 3-COLOURABILITY is NP-hard because there is a polynomial time reduction from 3-SAT to 3-COLOURABILITY and there is a reduction from SAT to 3-SAT. It is proven that if you can solve SAT in polynomial time, you can solve any NP problem in polynomial time (Cook's theorem). Hence, checking if chromatic number is at most 3 is hard and therefore finding chromatic number exactly must be hard as well.
Note: (Read this in case you get interested in reductions)
You can find a reduction from NAE SAT to 3-COLOURABILITY more easily (i think so).
Best Answer
An important part of these gadget schemes is that there is a 3-clique somewhere called the palette that arbitrates the logic roles of colors. In other words, there are 3 nodes all connected to each other, labeled $v_T$, $v_F$, and $v_R$. The palette can be arbitrarily colored, and whatever colors are chosen represent the 3 logic values. Then when a gadget has a fixed "true" node in it, arcs are extended from fixed $v_F$ and $v_R$ nodes to it, to compel its color to be the same as $v_T$.
So the reduction doesn't require any strange modifications to the concept of the 3-COL problem. The reduction algorithm generates a planar graph, and that graph can be 3-colored iff the 3-SAT problem can be satisified.