I am unaware of any difference in meaning. They are all the same to me.

The words "form" and "type" come from Latin, "form" is related to the "shape" of something, though in English (just as in Spanish) the word is also used in an abstract way. So you can say "the form of this device" referring to the shape of it, or you can say "the form we came up with this idea", talking about the way the idea was conceived, which is abstract of course. The word "kind" comes from a Germanic root, but has the same meaning as the above mentioned words. So, Ceij is right, you can use all of them. You have to be aware of the fact that English has words from different languages, and sometimes it has two words from different languages meaning the same. As the case you asked about. In other cases the difference will be related to formality. For example you can say "the line in busy" (busy comes from a Germanic root), you can also say "the line is occupied" (occupied comes from Latin) you are very likely to say the first at home or with friends, and the second if you are in the office or in a hotel where people tend to use a rather extreme form way of speech.