Connects are error-prone

[Drup]

A connect receives, as input, the list of devices on which it should connect. This is a list of string (the name of the result of the connects). The list received should be of a size number of functor arguments + number of dependencies.

Currently, there is absolutely no typing for

• The size of the list
• The order of things in the list

Which means it's very easy to get something wrong.