Auto-detection for types

[Wibble199]

Remove the concept of generics that users have to pick before creating a node, and instead allow a node to determine the types as other nodes are connected to it.

[Wibble199]

Will need to consider how this work with specifying additional types (#1).